Lenses, fibrations and universal translations
نویسندگان
چکیده
Lenses, fibrations and universal translations† MICHAEL JOHNSON‡, ROBERT ROSEBRUGH§ and R. J. WOOD¶ ‡School of Mathematics and Computing, Macquarie University, Sydney, New South Wales, Australia Email: [email protected] §Department of Mathematics and Computer Science, Mount Allison University, Sackville, New Brunswick, Canada Email: [email protected] ¶Department of Mathematics and Statistics, Dalhousie University, Halifax, Nova Scotia, Canada Email: [email protected]
منابع مشابه
Universal Updates for Symmetric Lenses
Asymmetric c-lenses are the special cases of asymmetric d-lenses (also called delta lenses) whose updates satisfy a universal property which in many applications ensures “least-change”. There has therefore been hope that symmetric c-lenses might characterize those symmetric dlenses which satisfy a similar universal property. This paper begins an analysis of symmetric c-lenses and their relation...
متن کامل“ The Universal Functorial Lefschetz Invariant ” by Wolfgang Lück
We introduce the universal functorial Lefschetz invariant for endomorphisms of finite CW -complexes in terms of Grothendieck groups of endomorphisms of finitely generated free modules. It encompasses invariants like Lefschetz number, its generalization to the Lefschetz invariant, Nielsen number and L2-torsion of mapping tori. We examine its behaviour under fibrations.
متن کاملLimitations of the ocular wavefront correction with contact lenses
We analyze theoretically, by means of both computer simulations and laboratory experiments, the limitations of correcting aberrations with ideal customized contact lenses. Four experiments are presented: In the first one, we have analyzed the limitations of a static correction on the dynamic wavefront. In the second one, we studied the rotations of a contact lens on the eye using an optical met...
متن کاملUnivalent polymorphism
We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category $\mathbb{EFF}$. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as such provide a context in which one can interpret many notions from homotopy theory and Homotopy Type Theory. Within the path category $\mathbb{EFF}$ one can i...
متن کاملThe plus construction, Postnikov towers and universal central module extensions
Given a connected space X, we consider the effect of Quillen’s plus construction on the homotopy groups of X in terms of its Postnikov decomposition. Specifically, using universal properties of the fibration sequence AX → X → X+, we explain the contribution of πnX to πnX +, πn+1X + and πnAX, πn+1AX explicitly in terms of the low dimensional homology of πnX regarded as a module over π1X. Key ing...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 22 شماره
صفحات -
تاریخ انتشار 2012